equivalent definition of normal subgroup